- Équivalence entre deux théories formalisées
-
● Équivalence entre deux théories formalisées relation entre ces théories, si elles ont le même langage et les mêmes théorèmes.
Encyclopédie Universelle. 2012.
Équivalence entre deux théories formalisées
Regardez d'autres dictionnaires:
équivalence — [ ekivalɑ̃s ] n. f. • 1361; bas lat. æquivalentia, de æquivalere 1 ♦ Qualité de ce qui est équivalent. ⇒ adéquation, égalité, homologie, identité. Les jacqueries « mettent en avant un principe d équivalence, vie contre vie » (Camus). ♢ (1864)… … Encyclopédie Universelle
Relativité générale — Pour les articles homonymes, voir relativité. La relativité générale, fondée sur le principe de covariance générale qui étend le principe de relativité aux référentiels non inertiels, est une théorie relativiste de la gravitation, c est à dire qu … Wikipédia en Français
Relativite generale — Relativité générale Pour les articles homonymes, voir relativité … Wikipédia en Français
Relativité Générale — Pour les articles homonymes, voir relativité … Wikipédia en Français
Théorie de la Gravitation d'Einstein — Relativité générale Pour les articles homonymes, voir relativité … Wikipédia en Français
Théorie de la relativité générale — Relativité générale Pour les articles homonymes, voir relativité … Wikipédia en Français
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
ANALOGIE — La notion d’analogie a connu une telle fortune qu’il semble presque impossible de lui conférer une définition dépourvue d’équivoque. Son usage premier, en mathématique pythagoricienne, ne présageait aucun glissement: elle était la formule… … Encyclopédie Universelle
Nombre réel — Pour les articles homonymes, voir Réel. En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s applique donc aux nombres rationnels, dont les… … Wikipédia en Français
SYSTÈMES DYNAMIQUES DIFFÉRENTIABLES — Sans doute née avec le mémoire que Poincaré écrivit en 1881 «sur les courbes définies par des équations différentielles», où l’étude quantitative (analytique) locale des équations différentielles dans le champ complexe est remplacée par leur… … Encyclopédie Universelle
